Formal verification

L'article "Formal verification" sur Wikipédia en anglais a 31.3 points pour la qualité (au 1 août 2024). L'article contient 22 références et 7 sections.

Dans cette version linguistique de Wikipédia, l'article est de la meilleure qualité. De plus, cet article est le plus populaire dans cette version linguistique.

Depuis la création de l'article "Formal verification", son contenu a été rédigé par 165 utilisateurs enregistrés de Wikipédia en anglais et édité par 351 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 299 fois dans Wikipédia en anglais et cité 760 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (anglais): n° 14866 en avril 2004
• Mondial: n° 20042 en novembre 2003

Le classement de popularité le plus élevé depuis 2008:

• Local (anglais): n° 101682 en septembre 2014
• Mondial: n° 149511 en septembre 2014

Il existe 20 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 août 2024 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	anglais (en) Formal verification		31.2683
2	basque (eu) Egiaztapen formala (informatika)		25.9483
3	arabe (ar) التحقق الشكلي		21.5638
4	suédois (sv) Formell verifiering		21.1266
5	ukrainien (uk) Формальна верифікація		17.0026
6	grec (el) Τυπική επαλήθευση		16.2691
7	italien (it) Verifica formale		14.686
8	coréen (ko) 형식 검증		14.1224
9	japonais (ja) 形式的検証		13.4415
10	russe (ru) Формальная верификация		13.3692

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Formal verification" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Formal verification		1 121 549
2	russe (ru) Формальная верификация		127 988
3	japonais (ja) 形式的検証		75 890
4	chinois (zh) 形式验证		58 021
5	espagnol (es) Verificación formal		39 641
6	français (fr) Vérification formelle		34 383
7	hébreu (he) אימות תוכנה		21 743
8	portugais (pt) Verificação formal		15 973
9	polonais (pl) Weryfikacja formalna		15 818
10	ukrainien (uk) Формальна верифікація		12 667

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Formal verification" en juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Formal verification		7 954
2	chinois (zh) 形式验证		398
3	russe (ru) Формальная верификация		375
4	japonais (ja) 形式的検証		256
5	hébreu (he) אימות תוכנה		107
6	français (fr) Vérification formelle		94
7	espagnol (es) Verificación formal		89
8	coréen (ko) 형식 검증		57
9	italien (it) Verifica formale		46
10	grec (el) Τυπική επαλήθευση		26

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Formal verification" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de IA	IA relatif
1	anglais (en) Formal verification		165
2	russe (ru) Формальная верификация		28
3	français (fr) Vérification formelle		25
4	hébreu (he) אימות תוכנה		23
5	chinois (zh) 形式验证		19
6	espagnol (es) Verificación formal		14
7	japonais (ja) 形式的検証		12
8	ukrainien (uk) Формальна верифікація		12
9	polonais (pl) Weryfikacja formalna		9
10	turc (tr) Program doğrulama		9

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Formal verification" présentant le plus grand intérêt des auteurs en juillet 2024

#	Langue	Prox de IA	IA relatif
1	arabe (ar) التحقق الشكلي		1
2	grec (el) Τυπική επαλήθευση		1
3	tchèque (cs) Formální verifikace		0
4	anglais (en) Formal verification		0
5	espagnol (es) Verificación formal		0
6	basque (eu) Egiaztapen formala (informatika)		0
7	persan (fa) درستی‌یابی صوری		0
8	français (fr) Vérification formelle		0
9	hébreu (he) אימות תוכנה		0
10	italien (it) Verifica formale		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Formal verification" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Formal verification		299
2	russe (ru) Формальная верификация		66
3	hébreu (he) אימות תוכנה		55
4	français (fr) Vérification formelle		54
5	japonais (ja) 形式的検証		50
6	ukrainien (uk) Формальна верифікація		44
7	portugais (pt) Verificação formal		35
8	chinois (zh) 形式验证		32
9	espagnol (es) Verificación formal		27
10	grec (el) Τυπική επαλήθευση		19

Plus...

#	Langue	Valeur
ar	arabe التحقق الشكلي
cs	tchèque Formální verifikace
el	grec Τυπική επαλήθευση
en	anglais Formal verification
es	espagnol Verificación formal
eu	basque Egiaztapen formala (informatika)
fa	persan درستی‌یابی صوری
fr	français Vérification formelle
he	hébreu אימות תוכנה
it	italien Verifica formale
ja	japonais 形式的検証
ko	coréen 형식 검증
pl	polonais Weryfikacja formalna
pt	portugais Verificação formal
ru	russe Формальная верификация
simple	anglais simple Formal verification
sv	suédois Formell verifiering
tr	turc Program doğrulama
uk	ukrainien Формальна верифікація
zh	chinois 形式验证

Meilleur rang

anglais: n° 101682 09.2014

Mondial: n° 149511 09.2014

Meilleur rang

anglais: n° 14866 04.2004

Mondial: n° 20042 11.2003

Au 20 décembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Magdebourg, Mufasa : Le Roi lion, Elon Musk, affaire des viols de Mazan, Gisèle Pelicot, Superman, Ayrton Senna, Isack Hadjar, décès en 2024, David Corenswet.

Sur Wikipédia en anglais, les articles les plus populaires ce jour-là étaient: Gisèle Pelicot, Pushpa 2: The Rule, Superman (2025 film), Fair catch kick, Sonic the Hedgehog 3 (film), Mufasa: The Lion King, Mazan rapes, .xxx, List of highest-grossing Indian films, The Hooded Man.

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information